Nuprl Definition : one_ideal
13,42
postcript
pdf
(1
r
)(
u
) == True
latex
Up
rings
1
Wellformedness Lemmas
one
ideal
wf
Definitions
x
.
A
(
x
)
,
True
origin
x.A(x)x.A(x)